graph "graph.dot" {

   size="6.0,7.0";

node [shape=circle,fixedsize=true,style=filled,
      color="khaki",fontcolor="black",fontsize=18];

   1  [label="1", pos="0.498735,0.528898"];
   2  [label="2", pos="0.693346,0.551875"];
   3  [label="3", pos="0.722926,0.668932"];
   4  [label="4", pos="0.875901,0.517481"];
   5  [label="5", pos="1.000000,0.569536"];
   6  [label="6", pos="0.973200,0.427030"];
   7  [label="7", pos="0.303735,0.511125"];
   8  [label="8", pos="0.132131,0.439673"];
   9  [label="9", pos="0.250494,0.619520"];
  10  [label="10", pos="0.000000,0.464937"];
  11  [label="11", pos="0.055705,0.331068"];

edge [color="blue"];

   1  --   2;
   1  --   7;
   2  --   3;
   2  --   4;
   4  --   5;
   4  --   6;
   7  --   8;
   7  --   9;
   8  --  10;
   8  --  11;

}
